<TITLE>prob003: quasigroup existence</TITLE>
<HR><!------------------------------------------------------------------------>
<CENTER>
<H1>prob003: quasigroup existence</H1>

<TABLE>
<TR> <TD> proposed by
     <TD ALIGN=LEFT> <A HREF="http://www.cs.york.ac.uk/~tw">
          <B>Toby Walsh</B></A> 
          <ADDRESS><a href="mailto:tw@cs.york.ac.uk">
          tw@cs.york.ac.uk</a></ADDRESS>
</TABLE>
with assistance from Kostas Stergiou and Mark Stickel. 
</CENTER>
<HR><!------------------------------------------------------------------------>
<H3> References </H3>

<A HREF="ftp://arp.anu.edu.au/pub/techreports/1994/TR-ARP-01-94.dvi.gz">
The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure
</A>.
John Slaney. Proceedings of CADE-12, 1994.
<P>

<A HREF="ftp://ftp.ai.sri.com/pub/papers/slaney-fujita-stickel-quasigroups.ps.gz">
Automated reasoning and exhaustive search: quasigroup existence problems. 
</A>.
Slaney, J., M. Fujita, and M. Stickel. Computers and Mathematics with Applications 29
       (1995), 115-132. 
<P>


<A HREF="http://www.stat.uiowa.edu/ftp/hzhang/sato/papers/chapter6.ps.Z">
Specifying Latin Square Problems in Propositional Logics
</A>.
Hantao Zhang. 
<P>

<A HREF="http://www.stat.uiowa.edu/ftp/hzhang/sato/papers/psato.ps.Z">
Cumulating Search in a Distributed Computing Environment: 
A Case Study in Parallel Satisfiability
</A>.
Hantao Zhang and Maria Paola Bonacina. Proceedings
of First Int. Symp. on Parallel Symbolic
Computation, 1994.
<P>

<A HREF="http://www.stat.uiowa.edu/ftp/hzhang/sato/papers/jscpsato.ps.Z">
PSATO: A Distributed Propositional Prover and Its 
Application to Quasigroup Problems
</A>.
Hantao Zhang, Maria Paola Bonacina and Jieh Hsiang.
Journal of Symbolic Computation, 11, 1-18, 1996.
<P>

<A HREF="http://www.stat.uiowa.edu/ftp/hzhang/sato/papers/taiwan.ps.Z">
Solving Open Quasigroup Problems by Propositional Reasoning
</A>.
Hantao Zhang and Jieh Hsiang. 
<P>

<A HREF="http://simon.cs.cornell.edu/home/selman/">
Problem Structure in the Presence of Perturbations
</A>.
Carla P. Gomes and Bart Selman. Proc. AAAI-97, Providence, RI., 1997
(follow the link to "More papers"). 
<P>

<A HREF="http://www.cs.strath.ac.uk/~apes/papers/gac-quasi.ps.gz">
Arc Consistency and Quasigroup Completion
</A>.
Paul Shaw, Kostas Stergiou, and Toby Walsh. 
Proceedings of the ECAI-98 workshop on non-binary constraints, 1998. 
<P>


<HR><!------------------------------------------------------------------------>

<UL>

 <A HREF="../../index.html"> Back</A> to CSPLib home page.


